[INFO] fetching crate evercrypt-sys 0.0.9...
[INFO] checking evercrypt-sys-0.0.9 against master#82310651b93a594a3fd69015e1562186a080d94c for pr-145770
[INFO] extracting crate evercrypt-sys 0.0.9 into /workspace/builds/worker-4-tc1/source
[INFO] started tweaking crates.io crate evercrypt-sys 0.0.9
[INFO] finished tweaking crates.io crate evercrypt-sys 0.0.9
[INFO] tweaked toml for crates.io crate evercrypt-sys 0.0.9 written to /workspace/builds/worker-4-tc1/source/Cargo.toml
[INFO] validating manifest of crates.io crate evercrypt-sys 0.0.9 on toolchain 82310651b93a594a3fd69015e1562186a080d94c
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "generate-lockfile" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] [stderr]     Updating crates.io index
[INFO] [stderr]      Locking 51 packages to latest compatible versions
[INFO] [stderr]       Adding bindgen v0.58.1 (available: v0.72.0)
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 17c8cd078036c4afeaab7f5b7757fc987bf264e2d88a0e02296fba53bff0530b
[INFO] running `Command { std: "docker" "start" "-a" "17c8cd078036c4afeaab7f5b7757fc987bf264e2d88a0e02296fba53bff0530b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "17c8cd078036c4afeaab7f5b7757fc987bf264e2d88a0e02296fba53bff0530b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "17c8cd078036c4afeaab7f5b7757fc987bf264e2d88a0e02296fba53bff0530b", kill_on_drop: false }`
[INFO] [stdout] 17c8cd078036c4afeaab7f5b7757fc987bf264e2d88a0e02296fba53bff0530b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-4-tc1/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7ad1b28ee6f5f7f699f6cf7015098d6ccdd96d6f2d78dd06228f5b4c9faf309c" "/opt/rustwide/cargo-home/bin/cargo" "+82310651b93a594a3fd69015e1562186a080d94c" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3dda7fa9d99031e1b9694e74fc67519c5fc8c149939a09c6339d0a5c0723b88e
[INFO] running `Command { std: "docker" "start" "-a" "3dda7fa9d99031e1b9694e74fc67519c5fc8c149939a09c6339d0a5c0723b88e", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.175
[INFO] [stderr]    Compiling memchr v2.7.5
[INFO] [stderr]    Compiling version_check v0.9.5
[INFO] [stderr]    Compiling glob v0.3.3
[INFO] [stderr]    Compiling regex-syntax v0.8.6
[INFO] [stderr]    Compiling proc-macro2 v1.0.101
[INFO] [stderr]    Compiling unicode-width v0.1.14
[INFO] [stderr]    Compiling unicode-ident v1.0.18
[INFO] [stderr]    Compiling cfg-if v1.0.3
[INFO] [stderr]    Compiling termcolor v1.4.1
[INFO] [stderr]    Compiling bindgen v0.58.1
[INFO] [stderr]    Compiling ansi_term v0.12.1
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling bitflags v1.3.2
[INFO] [stderr]    Compiling humantime v2.2.0
[INFO] [stderr]    Compiling libloading v0.8.8
[INFO] [stderr]    Compiling log v0.4.27
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling nom v5.1.3
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling quote v1.0.40
[INFO] [stderr]    Compiling aho-corasick v1.1.3
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling clap v2.34.0
[INFO] [stderr]    Compiling regex-automata v0.4.10
[INFO] [stderr]    Compiling cexpr v0.4.0
[INFO] [stderr]    Compiling regex v1.11.2
[INFO] [stderr]    Compiling env_logger v0.8.4
[INFO] [stderr]    Compiling evercrypt-sys v0.0.9 (/opt/rustwide/workdir)
[INFO] [stderr] error: failed to run custom build command for `evercrypt-sys v0.0.9 (/opt/rustwide/workdir)`
[INFO] [stderr] note: To improve backtraces for build dependencies, set the CARGO_PROFILE_DEV_BUILD_OVERRIDE_DEBUG=true environment variable to enable debug information generation.
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/evercrypt-sys-04355835da4b017a/build-script-build` (exit status: 101)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   cargo:rerun-if-changed=wrapper.h
[INFO] [stderr]   cargo:rerun-if-changed=hacl-star
[INFO] [stderr]   build_config: BuildConfig { hacl_src_dir: "gcc-compatible", cross: false, config_flags: [], make_flags: [], env: {}, lib_name: "evercrypt", windows: false }
[INFO] [stderr]   out_path: "/opt/rustwide/target/debug/build/evercrypt-sys-4384e5b7e53a2baf/out"
[INFO] [stderr]   hacl_src_path: "/opt/rustwide/target/debug/build/evercrypt-sys-4384e5b7e53a2baf/out/hacl-star/dist/gcc-compatible"
[INFO] [stderr]   ... detected x64 platform
[INFO] [stderr]   ...  supports compilation of 128-bit and 256-bit AVX/AVX2
[INFO] [stderr]   ...  supports vale
[INFO] [stderr]   ... not using known buggy Apple LLVM build
[INFO] [stderr]   ...  supports our inline ASM
[INFO] [stderr]   ... using a non-buggy GCC
[INFO] [stderr]    supports _addcarry_u64
[INFO] [stderr]   OCaml bindings disabled
[INFO] [stderr]   ... glibc is recent enough for explicit_bzero
[INFO] [stderr]   rm -rf *.o *.d libevercrypt.a
[INFO] [stderr]   cc    -c -o aes-x86_64-linux.o aes-x86_64-linux.S
[INFO] [stderr]   cc    -c -o aesgcm-x86_64-linux.o aesgcm-x86_64-linux.S
[INFO] [stderr]   cc    -c -o cpuid-x86_64-linux.o cpuid-x86_64-linux.S
[INFO] [stderr]   cc    -c -o curve25519-x86_64-linux.o curve25519-x86_64-linux.S
[INFO] [stderr]   cc    -c -o oldaesgcm-x86_64-linux.o oldaesgcm-x86_64-linux.S
[INFO] [stderr]   cc    -c -o poly1305-x86_64-linux.o poly1305-x86_64-linux.S
[INFO] [stderr]   cc    -c -o sha256-x86_64-linux.o sha256-x86_64-linux.S
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Spec.o Hacl_Spec.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Kremlib.o Hacl_Kremlib.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Hash_Base.o Hacl_Hash_Base.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Hash_Blake2.o Hacl_Hash_Blake2.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_Hash_Blake2b_256.o Hacl_Hash_Blake2b_256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_Hash_Blake2s_128.o Hacl_Hash_Blake2s_128.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Hash_MD5.o Hacl_Hash_MD5.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Hash_SHA1.o Hacl_Hash_SHA1.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Hash_SHA2.o Hacl_Hash_SHA2.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Vale.o Vale.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_AutoConfig2.o EverCrypt_AutoConfig2.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_Hash.o EverCrypt_Hash.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_SHA3.o Hacl_SHA3.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Chacha20.o Hacl_Chacha20.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Salsa20.o Hacl_Salsa20.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Bignum.o Hacl_Bignum.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Curve25519_64_Slow.o Hacl_Curve25519_64_Slow.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Curve25519_64.o Hacl_Curve25519_64.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Curve25519_51.o Hacl_Curve25519_51.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Streaming_SHA2.o Hacl_Streaming_SHA2.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Ed25519.o Hacl_Ed25519.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Poly1305_32.o Hacl_Poly1305_32.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_Poly1305_128.o Hacl_Poly1305_128.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_Poly1305_256.o Hacl_Poly1305_256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_NaCl.o Hacl_NaCl.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o MerkleTree.o MerkleTree.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_Error.o EverCrypt_Error.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_CTR.o EverCrypt_CTR.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_P256.o Hacl_P256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Frodo_KEM.o Hacl_Frodo_KEM.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_RSAPSS.o Hacl_RSAPSS.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_FFDHE.o Hacl_FFDHE.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Streaming_Blake2.o Hacl_Streaming_Blake2.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_Streaming_Blake2b_256.o Hacl_Streaming_Blake2b_256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Frodo640.o Hacl_Frodo640.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_Streaming_Blake2s_128.o Hacl_Streaming_Blake2s_128.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_Chacha20_Vec128.o Hacl_Chacha20_Vec128.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_Chacha20Poly1305_128.o Hacl_Chacha20Poly1305_128.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HMAC.o Hacl_HMAC.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HKDF.o Hacl_HKDF.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve51_CP128_SHA512.o Hacl_HPKE_Curve51_CP128_SHA512.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_GenericField32.o Hacl_GenericField32.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Bignum256.o Hacl_Bignum256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_SHA2_Vec256.o Hacl_SHA2_Vec256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Bignum4096.o Hacl_Bignum4096.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Chacha20_Vec32.o Hacl_Chacha20_Vec32.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_Ed25519.o EverCrypt_Ed25519.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Bignum4096_32.o Hacl_Bignum4096_32.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve64_CP128_SHA512.o Hacl_HPKE_Curve64_CP128_SHA512.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_P256_CP128_SHA256.o Hacl_HPKE_P256_CP128_SHA256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_Chacha20_Vec256.o Hacl_Chacha20_Vec256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_Chacha20Poly1305_256.o Hacl_Chacha20Poly1305_256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve51_CP256_SHA512.o Hacl_HPKE_Curve51_CP256_SHA512.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_SHA2_Scalar32.o Hacl_SHA2_Scalar32.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Frodo976.o Hacl_Frodo976.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_HMAC_Blake2s_128.o Hacl_HMAC_Blake2s_128.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_HKDF_Blake2s_128.o Hacl_HKDF_Blake2s_128.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_GenericField64.o Hacl_GenericField64.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_Streaming_Poly1305_256.o Hacl_Streaming_Poly1305_256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Frodo1344.o Hacl_Frodo1344.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve64_CP256_SHA512.o Hacl_HPKE_Curve64_CP256_SHA512.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_Streaming_Poly1305_128.o Hacl_Streaming_Poly1305_128.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Bignum32.o Hacl_Bignum32.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve51_CP128_SHA256.o Hacl_HPKE_Curve51_CP128_SHA256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve64_CP128_SHA256.o Hacl_HPKE_Curve64_CP128_SHA256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Bignum256_32.o Hacl_Bignum256_32.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_SHA2_Vec128.o Hacl_SHA2_Vec128.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Chacha20Poly1305_32.o Hacl_Chacha20Poly1305_32.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve51_CP32_SHA256.o Hacl_HPKE_Curve51_CP32_SHA256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve64_CP256_SHA256.o Hacl_HPKE_Curve64_CP256_SHA256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Streaming_Poly1305_32.o Hacl_Streaming_Poly1305_32.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve51_CP32_SHA512.o Hacl_HPKE_Curve51_CP32_SHA512.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_P256_CP256_SHA256.o Hacl_HPKE_P256_CP256_SHA256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_P256_CP32_SHA256.o Hacl_HPKE_P256_CP32_SHA256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Bignum64.o Hacl_Bignum64.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Frodo64.o Hacl_Frodo64.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Streaming_SHA1.o Hacl_Streaming_SHA1.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Streaming_MD5.o Hacl_Streaming_MD5.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_HMAC_Blake2b_256.o Hacl_HMAC_Blake2b_256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_HKDF_Blake2b_256.o Hacl_HKDF_Blake2b_256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve64_CP32_SHA256.o Hacl_HPKE_Curve64_CP32_SHA256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve64_CP32_SHA512.o Hacl_HPKE_Curve64_CP32_SHA512.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_EC_Ed25519.o Hacl_EC_Ed25519.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve51_CP256_SHA256.o Hacl_HPKE_Curve51_CP256_SHA256.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_Chacha20Poly1305.o EverCrypt_Chacha20Poly1305.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_AEAD.o EverCrypt_AEAD.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_HMAC.o EverCrypt_HMAC.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_HKDF.o EverCrypt_HKDF.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HMAC_DRBG.o Hacl_HMAC_DRBG.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_DRBG.o EverCrypt_DRBG.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_Poly1305.o EverCrypt_Poly1305.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_Curve25519.o EverCrypt_Curve25519.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_Cipher.o EverCrypt_Cipher.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_StaticConfig.o EverCrypt_StaticConfig.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o evercrypt_vale_stubs.o evercrypt_vale_stubs.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Lib_PrintBuffer.o Lib_PrintBuffer.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Lib_Memzero0.o Lib_Memzero0.c
[INFO] [stderr]   cc -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Lib_RandomBuffer_System.o Lib_RandomBuffer_System.c
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_FFDHE.o] Error 1
[INFO] [stderr]   make: *** Waiting for unfinished jobs....
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_AEAD.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve51_CP128_SHA512.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_HMAC_Blake2b_256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Hash_SHA2.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Hash_Base.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve64_CP32_SHA256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Curve25519_64.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Frodo64.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: MerkleTree.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Spec.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Vale.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Bignum256_32.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Bignum256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Kremlib.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Hash_SHA1.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Streaming_Blake2b_256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_P256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_SHA2_Vec256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Curve25519_64_Slow.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_NaCl.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Ed25519.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_CTR.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Poly1305_32.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Hash_Blake2b_256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HMAC.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_SHA3.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_Poly1305.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_AutoConfig2.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Hash_Blake2s_128.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Chacha20_Vec128.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Chacha20_Vec256.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_Streaming_Blake2s_128.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_DRBG.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Bignum.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Hash_MD5.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Poly1305_256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Bignum4096.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Frodo_KEM.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Streaming_Poly1305_32.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Chacha20Poly1305_128.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve64_CP128_SHA512.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Streaming_Poly1305_256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve51_CP32_SHA512.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Chacha20.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_Chacha20Poly1305.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Hash_Blake2.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Salsa20.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Streaming_SHA2.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Lib_RandomBuffer_System.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_RSAPSS.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_Ed25519.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve51_CP256_SHA256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_P256_CP256_SHA256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve64_CP256_SHA256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Poly1305_128.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Bignum4096_32.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Curve25519_51.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_P256_CP32_SHA256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Bignum64.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HMAC_Blake2s_128.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Chacha20Poly1305_32.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve51_CP32_SHA256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_EC_Ed25519.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_SHA2_Vec128.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_Error.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve64_CP32_SHA512.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_GenericField64.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_Curve25519.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Streaming_Blake2.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HKDF_Blake2b_256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_Cipher.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Streaming_MD5.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Lib_PrintBuffer.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_GenericField32.o] Error 1
[INFO] [stderr] 
[INFO] [stderr]   thread 'main' panicked at build.rs:65:9:
[INFO] [stderr]   Failed to run make.
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x644a2504f232 - std::backtrace_rs::backtrace::libunwind::trace::h76ea176a64426f0f
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/../../backtrace/src/backtrace/libunwind.rs:117:9
[INFO] [stderr]      1:     0x644a2504f232 - std::backtrace_rs::backtrace::trace_unsynchronized::h0830675862e8e766
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/../../backtrace/src/backtrace/mod.rs:66:14
[INFO] [stderr]      2:     0x644a2504f232 - std::sys::backtrace::_print_fmt::hba1ccef63faaa048
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/sys/backtrace.rs:66:9
[INFO] [stderr]      3:     0x644a2504f232 - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::hca516e2c7056a217
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/sys/backtrace.rs:39:26
[INFO] [stderr]      4:     0x644a25075f73 - core::fmt::rt::Argument::fmt::ha510764ac9e77b66
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/core/src/fmt/rt.rs:173:76
[INFO] [stderr]      5:     0x644a25075f73 - core::fmt::write::h97a802838d45fe7e
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/core/src/fmt/mod.rs:1469:25
[INFO] [stderr]      6:     0x644a2504c213 - std::io::default_write_fmt::hb63ad55b2aa53928
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/io/mod.rs:639:11
[INFO] [stderr]      7:     0x644a2504c213 - std::io::Write::write_fmt::h6b2df461464d9a05
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/io/mod.rs:1954:13
[INFO] [stderr]      8:     0x644a2504f082 - std::sys::backtrace::BacktraceLock::print::h81c102a9ac0a1bc7
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/sys/backtrace.rs:42:9
[INFO] [stderr]      9:     0x644a250506e3 - std::panicking::default_hook::{{closure}}::h9934714bf98b056d
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panicking.rs:300:27
[INFO] [stderr]     10:     0x644a250504c5 - std::panicking::default_hook::hb31a4fc725ffcf0a
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panicking.rs:327:9
[INFO] [stderr]     11:     0x644a250510f5 - std::panicking::rust_panic_with_hook::h8df5393cb811c708
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panicking.rs:833:13
[INFO] [stderr]     12:     0x644a25050e56 - std::panicking::begin_panic_handler::{{closure}}::h73dc0a59c2d3b9c7
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panicking.rs:699:13
[INFO] [stderr]     13:     0x644a2504f739 - std::sys::backtrace::__rust_end_short_backtrace::h9eb84a109f69f8ca
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/sys/backtrace.rs:174:18
[INFO] [stderr]     14:     0x644a25050b1d - __rustc[98c2592f34d7b78b]::rust_begin_unwind
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panicking.rs:697:5
[INFO] [stderr]     15:     0x644a250742b0 - core::panicking::panic_fmt::hb0df011123225e8b
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/core/src/panicking.rs:75:14
[INFO] [stderr]     16:     0x644a24b7c346 - build_script_build::build_hacl::h869f13dbd13c12f9
[INFO] [stderr]     17:     0x644a24b7f8de - build_script_build::main::hd8dd3c10962b786f
[INFO] [stderr]     18:     0x644a24b7a553 - core::ops::function::FnOnce::call_once::h207a244341a54aad
[INFO] [stderr]     19:     0x644a24b7a196 - std::sys::backtrace::__rust_begin_short_backtrace::h49b612d098c8a9e9
[INFO] [stderr]     20:     0x644a24b772e9 - std::rt::lang_start::{{closure}}::h348ef5785f4a5b56
[INFO] [stderr]     21:     0x644a25047ab0 - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::h0bcac900efc89129
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/core/src/ops/function.rs:290:21
[INFO] [stderr]     22:     0x644a25047ab0 - std::panicking::catch_unwind::do_call::hfadc8e58bd88a07a
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panicking.rs:589:40
[INFO] [stderr]     23:     0x644a25047ab0 - std::panicking::catch_unwind::h44c20dc1edb63a1e
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panicking.rs:552:19
[INFO] [stderr]     24:     0x644a25047ab0 - std::panic::catch_unwind::hed574ee6107b8e15
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panic.rs:359:14
[INFO] [stderr]     25:     0x644a25047ab0 - std::rt::lang_start_internal::{{closure}}::h7f49669407df0483
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/rt.rs:175:24
[INFO] [stderr]     26:     0x644a25047ab0 - std::panicking::catch_unwind::do_call::hdc3b107dc7611175
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panicking.rs:589:40
[INFO] [stderr]     27:     0x644a25047ab0 - std::panicking::catch_unwind::h50fbac1cdf73dd69
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panicking.rs:552:19
[INFO] [stderr]     28:     0x644a25047ab0 - std::panic::catch_unwind::h061b64ee85b76832
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/panic.rs:359:14
[INFO] [stderr]     29:     0x644a25047ab0 - std::rt::lang_start_internal::h935ec80c2dc417b9
[INFO] [stderr]                                  at /rustc/82310651b93a594a3fd69015e1562186a080d94c/library/std/src/rt.rs:171:5
[INFO] [stderr]     30:     0x644a24b772d1 - std::rt::lang_start::ha9975a061074f527
[INFO] [stderr]     31:     0x644a24b7fc65 - main
[INFO] [stderr]     32:     0x78248b6a11ca - <unknown>
[INFO] [stderr]     33:     0x78248b6a128b - __libc_start_main
[INFO] [stderr]     34:     0x644a24b76b75 - _start
[INFO] [stderr]     35:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "3dda7fa9d99031e1b9694e74fc67519c5fc8c149939a09c6339d0a5c0723b88e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3dda7fa9d99031e1b9694e74fc67519c5fc8c149939a09c6339d0a5c0723b88e", kill_on_drop: false }`
[INFO] [stdout] 3dda7fa9d99031e1b9694e74fc67519c5fc8c149939a09c6339d0a5c0723b88e
